Knihy od autora Andrey Rybalchenko

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Verification, Model Checking, and Abstract Interpretation

   Viktor Kuncak, Andrey Rybalchenko | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
2. 

   Verified Software: Theorie, Tools, Experiments

   Ernie Cohen, Andrey Rybalchenko | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 
   Novinka

   On the Pursuit of Insight and Elegance

   Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies | Springer, Berlin, 2026

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Computer Science - Theory and Applications

   Anna Frid, Andrey S. Morozov, Andrey Rybalchenko, Klaus W. Wagner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Výběr z milionů titulů vám jen tak někdo nenabídne. Zjistěte více